Seeding strategies in search-based unit test generation
نویسندگان
چکیده
Search-based techniques have been applied successfully to the task of generating unit tests for objectoriented software. However, as for any meta-heuristic search, the efficiency heavily depends on many factors; seeding, which refers to the use of previous related knowledge to help solve the testing problem at hand, is one such factor that may strongly influence this efficiency. This paper investigates different seeding strategies for unit test generation, in particular seeding of numerical and string constants derived statically and dynamically, seeding of type information and seeding of previously generated tests. To understand the effects of these seeding strategies, the results of a large empirical analysis carried out on a large collection of opensource projects from the SF110 corpus and the Apache Commons repository are reported. These experiments show with strong statistical confidence that, even for a testing tool already able to achieve high coverage, the use of appropriate seeding strategies can further improve performance. © 2016 The Authors. Software Testing, Verification and Reliability Published by John Wiley & Sons Ltd.
منابع مشابه
Efficient Mutation Testing using Whole Test Suite Generation
By seeding artificial faults (mutants), mutation testing can tell us how good existing tests are, and it can help to direct test generation efforts. However, mutation based test generation is hampered because there usually are simply too many mutants, and too many of these mutants are either trivially killed or equivalent. Any effort spent on test generation for equivalent mutants is per defini...
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملA Proposed Improved Hybrid Hill Climbing Algorithm with the Capability of Local Search for Solving the Nonlinear Economic Load Dispatch Problem
This paper introduces a new hybrid hill-climbing algorithm (HHC) for solving the Economic Dispatch (ED) problem. This algorithm solves the ED problems with a systematic search structure with a global search. It improves the results obtained from an evolutionary algorithm with local search and converges to the best possible solution that grabs the accuracy of the problem. The most important goal...
متن کاملModified Harmony Search Algorithm Based Unit Commitment with Plug-in Hybrid Electric Vehicles
Plug-in Hybrid Electric Vehicles (PHEV) technology shows great interest in the recent scientificliteratures. Vehicle-to-grid (V2G) is a interconnection of energy storage of PHEVs and grid. Byimplementation of V2G dependencies of the power system on small expensive conventional units canbe reduced, resulting in reduced operational cost. This paper represents an intelligent unitcommitment (UC) wi...
متن کاملبرنامهریزی امنیت مقید مشارکت واحدهای تولیدی و ارائه مدل احتمالی دسترسناپذیری نیروگاهها در شرایط اضطراری
This paper presents codification of multi-objective passive defense in unit commitment, aiming vulnerability reduction, feeding continuity, reliability enhancement, and increasing confronting potency. Consideration of multi-objective passive defense in the operation and planning of generation units is one of the important principles in dealing with military threats. In this work unit commitment...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw. Test., Verif. Reliab.
دوره 26 شماره
صفحات -
تاریخ انتشار 2016